1. A practical guide to adopting the Universal Verification Methodology (UVM)
Author: Sharon Rosenberg, Kathleen A. Meade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
Classification :
QA76
.
76
.
V57
S537
2010
2. Advanced programming in web design
Author: / Er.-V.k. Jain
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Internet (computer network),WEB (computer program languages),Software verification
Classification :
TK5104
.
2
.
W4J3
3. Advances in hardware design and verification
Author: ^bInternational conference on correct hardware and verification methods. Montreal, canada 16-18 October 1997
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Integrated circuits- Verification ► Computer software- Verification
Classification :
621
I61a
4. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
Classification :
TK
7874
.
75
.
I45
1997
5. Assurances for self-adaptive systems
Author: Javier Cámara...[et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive computing systems,Computer software-- Verification,Self-adaptive software
Classification :
QA76
.
76
.
S375
A87
2013
6. Automatic verification of sequential infinite-state processes
Author: Olaf Burkart
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer software -- Verification,، Software engineering
Classification :
QA
76
.
L28
Vol
.
1354
7. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
8. Co-verification of hardware and software for ARM SoC desig
Author: / by Jason R. Andrews
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Verification,Computer software--Verification,Systems on a chip.
Classification :
TK
,
7874
,.
A595
,
2005eb
9. Co-verification of hardware and software for ARM SoC design
Author: Andrews, Jason R.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
Classification :
TK
7874
.
A595
2005
10. Co-verification of hardware and software for ARM SoC design
Author: / by Jason R. Andrews
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
Classification :
E-BOOK
11. Co-verification of hardware and software for ARM SoC design
Author: / by Jason R. Andrews
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
Classification :
TK7874
.
A595
2005
12. Co-verification of hardware and software for ARM SoC design
Author: / by Jason R. Andrews
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Verification,Computer software -- Verification,Systems on a chip
Classification :
TK
7874
.
A595
13. Computer Aided Verification
Author: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47C6
2015
E-Book
,
14. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
15. Computer-aided verification
Author:
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software-Verification,Electronic digital computers - Evaluation
Classification :
QA
76
.
76
.
E93C65
1992
16. Computer-aided verification
Author: edited by Robert Kurshan
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software - Verification , Electronic digital computers - Evaluation
Classification :
QA
76
.
76
.
E93
C65
1993
17. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
18. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
19. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
20. Computer aided verification
Author: / Pierre Wolper (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
Classification :
QA76
.
76
.
C47
,
C38
1995
